Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
931	Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-01-21 09:38:38 Software engineering Formal methods Evaluation Ada programming language SPARK Reliability engineering Evaluation Assurance Level Functional specification Common Criteria Software development Computing Systems engineering
932	DD/MM/YYYY Proposed C174 SCHEDULE 2 TO CLAUSE[removed]NEIGHBOURHOOD RESIDENTIAL ZONE Shown on the planning scheme map as NRZ2 FORMAL BUSH SUBURBAN AREAS Add to Reading List Source URL: www.dtpli.vic.gov.au Language: English - Date: 2015-02-09 16:28:38 Computing Programming language theory ALGOL 68 Software engineering
933	Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel Lehrstuhl f¨ur Softwaretechnik und Programmiersprachen Fakult¨at f¨ur Informatik Universit¨at Augsburg D-8613 Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:19 Information Data Ubiquitous computing Java Card Unified Modeling Language Communications protocol Card reader Formal methods Cryptographic protocol Smart cards Computing ISO standards
934	SoftMetaWare - brochure omg.doc Add to Reading List Source URL: www.omg.org Language: English - Date: 2013-12-16 17:26:09 Software Software project management Software design Model-driven architecture Formal methods Model-driven engineering Product family engineering Software factory Domain analysis Systems engineering Unified Modeling Language Software development
935	Wolniewicz and the Formal Ontology of Situations Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:57 Ontology Formal sciences Branches of philosophy Philosophy of language Philosophical logic Jerzy Perzanowski Ludwig Wittgenstein Logical atomism Formal ontology Philosophy Science Logic
936	Towards Classifying Propositional Probabilistic Logics Glauber De Bona, Fabio Gagliardi Cozman and Marcelo Finger University of São Paulo, Brazil Probabilistic logics are commonly designed by adding probabilistic opera Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:05 Non-classical logic Philosophy of language Formal languages Probabilistic logic Interpretation Proposition Well-formed formula Logical connective Linear temporal logic Logic Mathematical logic Propositional calculus
937	Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-08-21 04:01:56 Science Statistical machine translation Parsing BLEU Formal grammar Programming language Bitext word alignment Compiler Philipp Koehn Machine translation Natural language processing Translation
938	Filet-o-Fish: practical and dependable domain-specific languages for OS development Pierre-Evariste Dagand Andrew Baumann Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Compiler construction Theoretical computer science Logic in computer science Formal methods Procedural programming languages Domain-specific language Compiler QuickCheck C Computing Software engineering Software
939	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
940	Chemistry Studio : An Intelligent Tutoring System (Natural Language Component) Ankit Kumar Abhishek Kar Sumit Gulwani Ashish Tiwari Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-11-24 04:10:34 Formal languages Semantics Metalogic Quantification Well-formed formula Resolution Function Interpretation Parsing Logic Mathematics Mathematical logic

UPDATE